Prolog 9B: Avoiding Infinite Recursion